Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
801	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification I SAR Toby Murray, June Andronick, Gerwin Klein Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Open content Mathematical proofs Deduction Creative Commons Natural deduction NICTA Mathematical induction Mathematical logic Mathematics Logic
802	Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Parity Parity of a permutation Permutations Symbol Curry–Howard correspondence Model theory Orbifold Mathematics Proof theory Group theory
803	The Bulletin of the EATCS Book Introduction by the Authors Invited by Kazuo Iwama Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2014-07-01 16:45:45 Circuit complexity Complexity classes Boolean algebra Boolean circuit Switching lemma Parity function Natural proof ACC0 Circuit Theoretical computer science Computational complexity theory Applied mathematics
804	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Huffman coding Computing Tree B-tree T-tree Adaptive Huffman coding Binary trees Graph theory Mathematics
805	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Entailment Logical consequence Symbol Connection Ordinal number Soundness Natural deduction Curry–Howard correspondence Logic Deduction Proof theory
806	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
807	Modal Proofs As Distributed Programs∗ Limin Jia David Walker Princeton University August 31, 2003 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Propositional calculus Deduction Logic in computer science Philosophical logic Natural deduction Curry–Howard correspondence Sequent calculus Entailment Intuitionistic logic Logic Mathematical logic Proof theory
808	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory
809	PROOF_Radical Information Literacy_CommentEnabled.pdf Add to Reading List Source URL: www.researchinfonet.org Language: English - Date: 2015-01-26 06:53:51 Critical theory Marxist theory Popular education Information literacy E-learning Critical pedagogy Media literacy Education Philosophy of education Pedagogy
810	XX XXXXXXXXX XXXXX XXXX XXXXXXX XXX XXX 25TH March 2011 Add to Reading List Source URL: www.thetakeoverpanel.org.uk Language: English - Date: 2014-09-05 05:30:10 Probabilistically checkable proof Phencyclidine Acquiring bank Medicine Business Neurochemistry Probabilistic complexity theory

UPDATE